O livro almeja ser representativo nos principais debates contemporâneos, oferecendo uma visão panorâmica sobre o campo na atualidade e permitindo-se aprofundar em algumas discussões selecionadas.O ambiente não pode ser reduzido ao “meio ambiente”, à natureza não humana. Ele não é meramente algo que “nos envolve”, um envoltório: o ambiente somos também nós, seres humanos, histórica e culturalmente situados. Quanto aos territórios, eles se estabelecem em íntima conexão com os ambientes em suas dimensões paisagística e material, quer sejam os processos geoecológicos, (...) quer sejam as formas e as dinâmicas socialmente produzidas. Analisar os territórios significa examinar como, a cada momento, os ambientes, seus recursos e significados são disputados e viram objeto de conflitos.O público-alvo principal são os estudantes dos últimos anos da graduação, além daqueles em nível de pós-graduação, de todas as áreas que lidam com problemas e conflitos ambientais. Afora os pesquisadores iniciantes e os jovens universitários em geral, porém, podemos presumir que profissionais experientes também poderão tirar proveito do material de diversos capítulos. É razoável, por fim, nutrir a expectativa de que muito do que este livro contém possa (retro)alimentar o ativismo ambiental crítico e a prática de combater as iniquidades e as distorções que se acumulam em nossas sociedades, principalmente as muitas situações de flagrante injustiça ambiental. (shrink)

The idea of a 'logic of quantum mechanics' or quantum logic was originally suggested by Birkhoff and von Neumann in their pioneering paper [1936]. Since that time there has been much argument about whether, or in what sense, quantum 'logic' can be actually considered a true logic (see, e.g. Bell and Hallett [1982], Dummett [1976], Gardner [1971]) and, if so, how it is to be distinguished from classical logic. In this paper I put forward a simple and natural semantical framework (...) for quantum logic which reveals its difference from classical logic in a strikingly intuitive way, viz. through the fact that quantum logic admits (suitably formulated versions of) the characteristic quantum-mechanical notions of superposition and incompatibility of attributes. That is, precisely the features that distinguish quantum from classical physics also serve, within this framework, to distinguish quantum from classical logic. Some light is shed on the question of whether quantum logic is a genuine logical system by introducing a natural entailment relation for quantum-logical formulas with the implication symbol. The novelty is that, although implication behaves as it should (i.e. the 'deduction theorem' holds), the order of introduction of premises is significant. The fact that a reasonable entailment relation can be formulated for quantum logic supports the view that it is a genuine logical system and not merely an algebraic formalism. (shrink)

In this paper (a sequel to [4]) I put forward a "local" interpretation of mathematical concepts based on notions derived from category theory. The fundamental idea is to abandon the unique absolute universe of sets central to the orthodox set-theoretic account of the foundations of mathematics, replacing it by a plurality of local mathematical frameworks - elementary toposes - defined in category-theoretic terms.

This paper argues that, while there is a difference between personal and sub‐personal explanation, claims of autonomy should be treated with scepticism. It distinguishes between horizontal and vertical explanatory relations that might hold between facts at the personal and farts at the sub‐personal level. Noting that many philosophers are prepared to accept vertical explanatory relations between the two levels, I argue for the stronger claim that, in the case of at least three central personal level phenomena, the demands of explanatory (...) adequacy require postulating horizontal explanatory relations. (shrink)

One strategy for blocking Chalmers's overall case against physicalism has been to deny his claim that showing that phenomenal properties are in some sense physical requires an a priori entailment of the phenomenal truths from the physical ones. Here I avoid this well-trodden ground and argue instead that an a priori entailment of the phenomenal truths from the physical ones does not require an analysis in the Jackson/Chalmers sense. This is to sever the dualist's link between conceptual analysis and a (...) priori entailment by showing that the lack of the former does not imply the absence of the latter. Moreover, given the role of the argument from conceptual analysis in Chalmers's overall case for dualism, undermining that argument effectively undermines that case as a whole in a way that, I'll argue, undermining the conceivability arguments as stand-alone arguments does not. (shrink)

This paper is an introduction to topos theory which assumes no prior knowledge of category theory. It includes a discussion of internal logic in a topos, A characterization of the category of sets, And an investigation of the notions of topology and sheaf in a topos.

La théologie herméneutique a modifié le rapport classique entre la théologie positive et la théologie spéculative. Il ne s'agit plus désormais d'inven­torier des sources - scriptuaires ou de la Tradition - pour ensuite cons­truire une théorie qui les expliquerait. Nous avons appris à tenir compte de notre compréhension actuelle pour lire les documents du passé. De ce fait, un rapport nouveau est établi entre l'horizon de compréhension actuel et les sources de la foi. L'interprétation y discerne leur visée propre et (...) ce qui relève de la mentalité et de l'époque où elles ont vu le jour. Après avoir établi la raison universelle comme milieu commun entre l'auteur et l'interprète, l'auteur rappelle, en deux parties distinctes, l'historicité de l'existence et de la raison « politique » comme également milieux communs entre l'auteur et l'interprète. Mais il ne s'agit pas là seulement de problèmes d'interprétation de l'Écriture ou d'une saisie nouvelle de la Tradition: l'enjeu est aussi d'avenir dans une articulation nouvelle entre herméneutique et politique dans la perspective qui demeure de la libération et du salut.Hermeneutical theology modified the classical relationship between positive and speculative theology. From now on it is not a question of making an inventory of sources - scriptural or from Tradition - in order to construct a theory that explains them. We have learned to take into account our present understanding to read the documents of the past. From this fact, a new relationship is established between the horizon of present comprehension and the sources of faith. Interpretation discerns in them their particular outlook and that which comes from the mentality and period from which they arose. After having established universal reason as a common milieu between the author and the interpreter, the author recalls, in two distinct parts, the historicity of existence and « political » reason as equally common context between the author and interpreter But here it is not only a question of the problem of interpretation of Scripture or a new grasp of Tradition : what is at stake is the future, with a new articulation between hermeneutics and politics in the perspective that reamains for liberation and salvation. (shrink)

One of the aims of this paper is to discuss the different senses of the term 'existence' as used by the nyaya philosophers. this discussion leads us to a discussion on absence or negation and its role in logic. a discussion on empty terms has also been introduced in this context. according to the nyaya, existence, knowability and nameability are considered as universal properties. the distinction between these universal properties has been discussed in this context. i have also discussed the (...) question whether the nyaya has used redundant terms in designating the same imposed property by using three different terms. a distinction between different senses of the term 'property' has also been discussed in this context. (shrink)

In this paper, we respond to Andrew Avins's recent review of methods whose use he advocates in clinical trials, to make them more ethical. He recommends in particular, “unbalanced randomisation”. However, we argue that, before such a recommendation can be made, it is important to establish why unequal randomisation might offer ethical advantages over equal randomisation, other things being equal. It is important to make a pragmatic distinction between trials of treatments that are already routinely available and trials of restricted (...) treatments. We conclude that unequal randomisation could, indeed, be an ethical compromise between protecting the interests of participants and those of society. (shrink)

In this article I state concisely the central features of a new logical problem of evil developed elsewhere and take account of a response to this problem recently published in this journal by Jerome Gellman. I also reflect briefly on how theology can play a role in such philosophical discussions.

Technology has expanded genomic research and the complexity of extracted gene-related information. Health-related genomic incidental findings pose new dilemmas for nurse researchers regarding the ethical application of disclosure to participants. Consequently, informed consent specific to incidental findings is recommended. Critical Social Theory is used as a guide in recognition of the changing meaning of informed consent and to serve as a framework to inform nursing of the ethical application of disclosure consent in genomic nursing research practices.

Continuous as the stars that shine And twinkle on the milky way, They stretched in never-ending line Along the margin of a bay: Ten thousand saw I at a glance, Tossing their heads in sprightly dance.

On s'occupe de la logique quantique depuis 1935 et pendant cette période beaucoup de résultats ont été obtenus, encore me suis-je abstenu de mentionner les résultats obtenus ces dernières années par les logiciens dans ce domaine. Certains de ces résultats ont un intérêt direct pour les théories physiques. En particulier on voit de quelles conditions impératives on doit tenir compte quand on effectue un changement de théorie pour passer à une théorie meilleure. L'exemple de la théorie fonctionnelle des corpuscules est (...) significatif. (shrink)